Deciding validity in a spatial logic for trees

机译：决定树木空间逻辑的有效性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Cristiano Calcagno; Luca Cardelli; Andrew D. Gordon;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Deciding validity in a spatial logic for trees [J] . CRISTIANO CALCAGNO, LUCA CARDELLI, ANDREW D. GORDON Journal of Functional Programming . 2005,第Pt4期

机译：确定树木空间逻辑的有效性
2. Deciding Validity in a Spatial Logic for Trees [J] . Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2003,第3期

机译：在树的空间逻辑中确定有效性
3. A new deduction system for deciding validity in modal logic K [J] . Angel Mora Logic Journal of IGPL . 2011,第2期

机译：一种确定模态逻辑K有效性的新推论系统
4. Deciding validity in a spatial logic for trees [C] . Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon . 2003

机译：确定树木空间逻辑的有效性
5. Pharmacists' rating of relevance of available information in deciding the validity of opioid medication prescriptions [D] . Torres, Leonardo R. 2010

机译：药剂师在确定阿片类药物处方的有效性时对可用信息的相关性评级
6. Common spatial patterns of trees in various tropical forests: Small trees are associated with increased diversity at small spatial scales [O] . Pavel Fibich, Vojtěch Novotný, Sisira Ediriweera, 2021

机译：各种热带森林中树木的常见空间模式：小树与小空间尺度的多样性增加相关
7. Deciding Validity in a Spatial Logic for Trees [O] . Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon 2003

机译：确定树的空间逻辑的有效性

Deciding validity in a spatial logic for trees

著录项

引文网络

相似文献

相关主题

期刊订阅